Dynamic discovery of e-services A description logics based approach

We investigate the problem of dynamic discovery of e-services, important in the loosely coupled vision of e-commerce. We show that it can be viewed as a new important reasoning technique in Description Logics: it can be viewed as a new instance of the problem of rewriting concepts using terminologies which generalizes problems such as rewriting queries using views or minimal rewriting using terminologies. We call this new instance the best covering using terminology: given a query and a set of e-services, the problem consists in finding a subset of called a "cover" of that contains as much as possible of common information with and as less as possible of extra information with respect to . We formally study this problem for languages with structural subsumption. We show that it is NP-hard and propose an algorithm derived from hypergraphs theory. RÉSUMÉ. Nous étudions le problème de la découverte dynamique de e-services, important dans l’approche faiblement couplée du e-commerce. Nous montrons qu’il peut être vu comme un raisonnement nouveau dans le domaine des logiques de description : il s’agit alors d’une nouvelle instance du problème de la réécriture de concepts en utilisant une terminologie, d’autres instances étant la réécriture de requêtes en utilisant des vues ou encore la recherche de réécritures minimales en utilisant une terminologie. Nous appelons cette nouvelle instance la recherche des meilleures couvertures en utilisant une terminologie : soit une requête et un ensemble de e-services, il s’agit d’identifier les sous-ensembles de , que l’on appellera "couvertures" de , qui contiennent le plus possible d’informations communes avec et le moins 2 Technical report for the article in Proceeding of BDA’02, Evry, France. possible d’informations absentes de . Nous étudions le problème au niveau formel pour des langages à subsomption structurelle. Nous montrons qu’il est NP-hard. Enfin nous proposons un algorithme issu de la théorie des hypergraphes pour le résoudre.